@unpublished{DaikonManual,
  author =	 {Michael D. Ernst},
  title =	 {{Daikon Invariant Detector User Manual}},
  year =	 {2005},
  url =		 {http://pag.csail.mit.edu/daikon/download/}
}

@phdthesis{Ernst,
  author = {Michael D. Ernst},
  title = {Dynamically Discovering Likely Program Invariants},
  school = {University of Washington Department of Computer Science and Engineering},
  type = {{Ph.D.}},
  address = {Seattle, Washington},
  year = {2000}
}

% ex: set tabstop=4 shiftwidth=4 softtabstop=4 noexpandtab encoding=utf-8 fileencodings= fenc= spelllang=pl,en spell:
